$\forall$${\it poss}$:(ES\{i\}$\rightarrow$Prop$_{\mbox{\scriptsize i'}}$). possible{-}event\{i:l\}(${\it poss}$) $\in$ Prop$_{\mbox{\scriptsize i'}}$